Computer aided verification - 10th international conference : proceedings
- Författare
- Alan J. Hu Moshe Y. Vardi International Conference on Computer Aided Verification 1998 : Vancouver)
- (CAV '98, Vancouver, BC, Canada, June 28-July 2, 1998 Alan J. Hu, Moshe Y. Vardi (eds.).)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop 1998 | Tyskland, Berlin | ix, 552 sidor. |